BioDiVinE: A Framework for Parallel Analysis of Biological Models
نویسندگان
چکیده
In this paper a novel tool BioDiVinE for parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study.
منابع مشابه
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
The most widely-used modelling frameworks for the analysis of the dynamics of biological systems are based on the deterministic continuous approach of ordinary differential equations (ODE). The reduction of continuous models to discrete automata by a sequence of reductions, approximations, and abstractions allows formal methods for the automated analysis of temporal properties to be applied [6,...
متن کاملPartial Least Square and Parallel Factor Analysis Methods Applied for Spectrophotometric Determination of Cefixime in Pharmaceutical Formulations and Biological Fluid
In this study, the direct determination of cefixime as an anti-bacterial agent, in pharmaceutical formulations, urine and human blood plasma was conducted based on spectrophotometric measurements using parallel factor analysis (PARAFAC) and partial least squares (PLS). The calibration set was composed of fourteen solutions in the range of 0.50- 9.00 µg mL-1. PLS models were calculated at each p...
متن کاملPartial Least Square and Parallel Factor Analysis Methods Applied for Spectrophotometric Determination of Cefixime in Pharmaceutical Formulations and Biological Fluid
In this study, the direct determination of cefixime as an anti-bacterial agent, in pharmaceutical formulations, urine and human blood plasma was conducted based on spectrophotometric measurements using parallel factor analysis (PARAFAC) and partial least squares (PLS). The calibration set was composed of fourteen solutions in the range of 0.50- 9.00 µg mL-1. PLS models were calculated at each p...
متن کاملParallel computation framework for optimizing trailer routes in bulk transportation
We consider a rich tanker trailer routing problem with stochastic transit times for chemicals and liquid bulk orders. A typical route of the tanker trailer comprises of sourcing a cleaned and prepped trailer from a pre-wash location, pickup and delivery of chemical orders, cleaning the tanker trailer at a post-wash location after order delivery and prepping for the next order. Unlike traditiona...
متن کاملA Novel Toolbox for Generating Realistic Biological Cell Geometries for Electromagnetic Microdosimetry
Researchers in bioelectromagnetics often require realistic tissue, cellular and sub-cellular geometry models for their simulations. However, biological shapes are often extremely irregular, while conventional geometrical modeling tools on the market cannot meet the demand for fast and efficient construction of irregular geometries. We have designed a free, user-friendly tool in MATLAB that comb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009